$\forall$$f$:Top, $T$:Type, $L$:$T$ List. $\parallel$map($f$;$L$)$\parallel$ $\sim$ $\parallel$$L$$\parallel$